GeekOS: An Instructional Operating System for Real Hardware
نویسنده
چکیده
This paper describes GeekOS, a tiny operating system kernel which runs on real hardware (x86-based PCs). GeekOS has been used as the basis for projects in an undergraduate operating systems class at the University of Maryland. This paper discusses the motivation for the creation of GeekOS, describes its design and implementation, and relates experiences using it as an instructional operating system. Most educators teaching operating systems use projects to help students understand the issues and concepts. There are two basic approaches to developing operating system projects:
منابع مشابه
Towards Running Parallel Programs on the Bare Metal via Virtualization
Decades of parallel computing practice have proven that highly parallel code runs efficiently only when it has uninterrupted access to the hardware. We report on a project whose goal is to support compiling Data Parallel Haskell code into bootable disk images. Our toolchain layers the Data Parallel Haskell runtime system on top of the GeekOS operating system and Newlib C library. We explain how...
متن کاملThe Nachos Instructional Operating System
In teaching operating systems at an undergraduate level, we believe that it is important to provide a project that is realistic enough to show how real operating systems work, yet is simple enough that the students can understand and modify it in signi cant ways. A number of these instructional systems have been created over the last two decades, but recent advances in hardware and software des...
متن کاملHardware in Loop of a Generalized Predictive Controller for a Micro Grid DC System of Renewable Energy Sources
In this paper, a hardware in the loop simulation (HIL) is presented. This application is purposed as the first step before a real implementation of a Generalized Predictive Control (GPC) on a micro-grid system located at the Military University Campus in Cajica, Colombia. The designed GPC, looks for keep the battery bank State of Charge (SOC) over the 70% and under the 90%, what ensures the bes...
متن کاملAc 2007-1488: Review of Current Embedded System Hardware, Os, Development Systems and Application Domains for Instructional Design
Embedded computer systems are changing more than other computing environments since the scope of their application domain is expanding. Once embedded system development was largely focused on 8-bit, standalone systems written directly in assembly or C. These systems were characterized by slow CPUs and kilobytes of memory. Now they are embracing ever-widening application domains to include not o...
متن کاملField Programmable Gate Array–based Implementation of an Improved Algorithm for Objects Distance Measurement (TECHNICAL NOTE)
In this work, the design of a low-cost, field programmable gate array (FPGA)-based digital hardware platform that implements image processing algorithms for real-time distance measurement is presented. Using embedded development kit (EDK) tools from Xilinx, the system is developed on a spartan3 / xc3s400, one of the common and low cost field programmable gate arrays from the Xilinx Spartan fami...
متن کامل